A set of input data and conditions used to check the program correctness.
一组用于检查程序正确性的输入数据和条件.
词典精选例句
搜寻这个错误很容易, 维护和修改这个程式也很容易.
互联网摘选
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
The correctness of the program, however, is unaffected by the truncated name.
但是, 程序的正确性不受截断名称的影响.
互联网摘选
对改进前后输送机中部槽进行应力分析,从理论上验证了优化方案的正确性。
互联网摘选
而且,相比已有的出具证明编译器,该编译器可以处理更加复杂的程序性质,例如值相关的部分正确性。
互联网摘选
White-box test is a kind of important method to verity correctness of program.
白盒 测试是检验程序正确性的重要方法.
互联网摘选
试验结果表明:本文所提出的分流方案能够有效解决发动机失速问题,验证了理论分析和仿真模型正确性。
互联网摘选
